650.66/654.31	unsat
