6.70/8.13	unsat
