23.57/26.16	unsat
