27.35/27.45	unsat
