23.75/23.85	unsat
