1.08/3.79	unsat
