965.86/971.80	unsat
