6.90/7.13	unsat
