23.57/26.48	unsat
