1038.14/1042.53	unsat
