23.88/23.93	unsat
