7.06/7.13	unsat
