640.10/641.73	unsat
