2.08/3.79	unsat
