7.76/7.89	unsat
