956.67/959.75	unsat
