1.39/3.28	unsat
