72.27/75.00	unsat
