5.35/7.07	unsat
