28.85/28.91	unsat
