5.18/6.10	unsat
