1.22/3.50	unsat
