3.18/3.24	unsat
