1.39/3.87	unsat
