23.48/23.78	unsat
