5.19/7.07	unsat
