1.18/3.20	unsat
