505.94/506.47	unsat
