1.19/3.50	unsat
