294.15/295.94	unsat
