641.81/643.40	unsat
