300.05/301.12	unsat
