23.67/23.85	unsat
