1065.69/1068.70	unsat
