23.25/23.36	unsat
