1.39/4.91	unsat
