27.85/30.00	unsat
