1.20/3.10	unsat
