1.02/3.50	unsat
