6.18/7.58	unsat
