1069.00/1073.70	unsat
