6.18/6.36	unsat
