292.44/294.12	unsat
