6.06/7.91	unsat
