1.39/3.86	unsat
