23.75/23.81	unsat
