1009.70/1012.82	unsat
