26.87/27.16	unsat
