6.18/8.13	unsat
