6.68/6.89	unsat
