23.94/26.92	unsat
