1.50/3.20	unsat
