5.18/6.23	unsat
