305.10/305.50	unsat
