294.16/295.84	unsat
