6.17/7.79	unsat
