23.24/23.36	unsat
