72.23/75.03	unsat
