27.96/30.80	unsat
