2.08/3.66	unsat
