6.18/6.23	unsat
