7.39/7.47	unsat
