27.34/27.67	unsat
