640.01/643.24	unsat
