304.10/305.39	unsat
