1000.10/1004.34	unsat
