642.01/647.74	unsat
