26.03/27.55	unsat
