6.18/6.37	unsat
