505.44/506.25	unsat
