305.24/307.15	unsat
