23.46/23.74	unsat
