5.39/7.39	unsat
