27.05/27.38	unsat
