1.19/3.44	unsat
