1065.71/1071.18	unsat
