25.85/28.92	unsat
