28.41/28.92	unsat
