965.94/971.84	unsat
