6.14/7.89	unsat
