476.07/476.87	unsat
