26.45/28.92	unsat
