304.03/304.42	unsat
