300.05/304.42	unsat
