28.85/30.36	unsat
