28.85/30.93	unsat
