27.89/28.64	unsat
