6.18/7.52	unsat
