23.14/23.74	unsat
