1066.71/1067.96	unsat
