24.52/28.62	unsat
