950.63/956.24	unsat
