968.33/970.53	unsat
