26.55/27.74	unsat
