1065.94/1069.27	unsat
