1.39/4.79	unsat
