6.35/6.41	unsat
