3.18/3.22	unsat
