1001.98/1003.04	unsat
