6.17/7.89	unsat
