23.50/23.62	unsat
