642.51/648.67	unsat
