23.93/26.89	unsat
