23.67/23.92	unsat
