5.06/7.07	unsat
