5.39/7.34	unsat
