6.20/10.13	unsat
