5.39/7.42	unsat
