6.29/7.41	unsat
