1.39/3.03	unsat
